<html>
<head><meta charset="utf-8"><title>I-prioritize #72076 ICE: associated type missing default wit · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html">I-prioritize #72076 ICE: associated type missing default wit</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="197462713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197462713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197462713">(May 13 2020 at 19:18)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/72076">#72076</a> has been requested for prioritization.</p>



<a name="197462789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197462789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197462789">(May 13 2020 at 19:19)</a>:</h4>
<p>ICE instead of a compile error, regression, and has a patch already ? I suggest P-High</p>



<a name="197462919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197462919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197462919">(May 13 2020 at 19:20)</a>:</h4>
<p>I was suggesting <code>P-medium</code> given that doesn't seem to be a huge deal</p>



<a name="197463085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463085">(May 13 2020 at 19:21)</a>:</h4>
<p>i guess p-high, looks like code people would attempt more often</p>



<a name="197463228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463228">(May 13 2020 at 19:22)</a>:</h4>
<p>my reasoning is that it's code that shouldn't compile and the ice also point more or less in some direction</p>



<a name="197463385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463385">(May 13 2020 at 19:23)</a>:</h4>
<p>yeah it wouldnt compile anyway, so p-medium is fine by me, i bumped it because it was a stable -&gt; nightly regression, but it ahs a patch already so uh ^^ P-medium then</p>



<a name="197463806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463806">(May 13 2020 at 19:26)</a>:</h4>
<p>yeah in this case it kind of doesn't really matter :)</p>



<a name="197463849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463849">(May 13 2020 at 19:27)</a>:</h4>
<p>unless we would have considered <code>P-critical</code></p>



<a name="197463861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463861">(May 13 2020 at 19:27)</a>:</h4>
<p>which is definitely not</p>



<a name="197463950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372076%20ICE%3A%20associated%20type%20missing%20default%20wit/near/197463950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372076.20ICE.3A.20associated.20type.20missing.20default.20wit.html#197463950">(May 13 2020 at 19:27)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/72076">#72076</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>